$x$ $<$ $y$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$let $n$,$m$ = $x$ in let ${\it n'}$,${\it m'}$ = $y$ in ($n$ $<$ ${\it n'}$) $\vee$ ($n$ = ${\it n'}$ $\in$ $\mathbb{Z}$ \& ($m$ $<$ ${\it m'}$))